to be deducted from a sum